#ifndef __KERNEL_H__
#define __KERNEL_H__

#include <vpt.h>

#include <framework/framework.h>

#include <hpet_timer/timer.h>

#include <proc/intr.h>
#include <proc/proc.h>
#include <proc/ips.h>
#include <proc/sched.h>
#include <proc/kthread.h>
#include <proc/timer.h>
#include <proc/monitor.h>
#include <proc/uthread.h>

#include <libcommon/libcommon.h>

#include <lib/debug.h>
#include <lib/stab.h>

#include <kvstore/kvstore.h>
#include <dev/io.h>
#include <dev/driver.h>

#ifndef  __LWIP__
#include <net/lwip.h>
#endif

#include <dde_kit/conf.h>
#include <_x86emu/include/x86emu.h>
#include <vesa.h>

#define USE_IDLE 1

#endif
